錐 (cone)
cone
或る對象から圖式の全ての對象への射が圖式を可換にする時、射の域と射の集まりを錐 (cone)と呼ぶ 射を射影 (projection)$ \pi_iと呼ぶ
對角函手$ \varDelta_{\bf J}(x)から$ \bf Jを添へ字圈とした圖式$ F:{\bf J}\to{\bf C}への自然變換$ \varDelta_{\bf J}(x)\Rarr Fを、$ xから$ Fへの錐 (cone)と呼ぶ 或る對象への圖式の全ての對象からの射が圖式を可換にする時、射の餘域と射の集まりを餘錐と呼ぶ 射を入射 (inclusion) と呼ぶ
$ \bf Jを添へ字圈とした圖式$ F:{\bf J}\to{\bf C}(x)から對角函手$ \varDelta_{\bf J}への自然變換$ F\Rarr\varDelta_{\bf J}(x)を、$ Fから$ xへの餘錐と呼ぶ